gentzen system मीनिंग इन हिंदी

Algebraization of Gentzen systems by Ramon Jansana, J . Font and others is a significant improvement over'algebraic logic '.
Since this early work, sequent calculi, also called "'Gentzen systems "', and the general concepts relating to them, have been widely applied in the fields of proof theory, mathematical logic, and automated deduction.